| contributor | Software Engineering (IFI) |
| creator | Richter, Martin |
| date | 1998-09-30 |
| description | 75 pages |
| In dem Bericht geht es um die Erarbeitung von Verfahren zur Pruefung natuerlichsprachlicher Anforderungsspezifikationen, die mit dem Werkzeug ADMIRE erstellt wurden. Die Pruefungen zielen ab auf die Identifizierung typischer Maengel, wie sie bei einer Spezifikationserstellung immer wieder auftreten, z.B. Unvollstaendigkeit, widerspruechliche oder mehrdeutige Anforderungen usw. Die beschriebenen Verfahren sind halbautomatisch, d.h. sie schlagen moegliche Maengel aufgrund gefundener Indizien hin vor. Die endgueltige Entscheidung, ob ein bestimmter Mangel tatsaechlich vorliegt, muss vom Benutzer getroffen werden. | |
| format | application/postscript |
| 843374 Bytes |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1654&engl=1 |
| language | ger |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Diploma Thesis No. 1654 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1654/DIP-1654.ps |
| subject | Software Engineering Requirements/Specifications (CR D.2.1) |
| Software Engineering Tools and Techniques (CR D.2.2) | |
| Natural Language Processing (CR I.2.7) | |
| Spezifikation | |
| Pruefung | |
| Maengel | |
| ADMIRE | |
| title | Konzeption und Implementierung von Verfahren zur (halb-)automatischen Pruefung natuerlichsprachlicher Spezifikationen |
| type | Text |
| Diploma Thesis |